package TypeTable;

public abstract class Type {
	public abstract boolean SubType(Type type);
	
	
	
}